退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:通过模型检查验证ArchiMate行为元素
Szwed, Piotr;
机译:在模型检查中使用模型检查技术为非专业人员验证业务规则
机译:有限套装模型预测控制转换器的统计模型检查:建模和性能验证教程
机译:从模型检查到平衡检查:用于合理验证的反应性模块
机译:将类型检查与模型检查相结合以进行系统验证
机译:基于Petri网和概率模型检查的Internet蠕虫传播建模,仿真与验证方法。
机译:基于符号模型检验的大型模型可诊断性实用形式验证
机译:软件行为建模设备,软件行为建模方法,软件行为验证设备和软件行为验证方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。